Partial Boolean Algebras as Models for Thesaurus Integration
نویسنده
چکیده
A model of a collection of documents based on partial Boolean algebras is presented. This model has been considered while analysing a problem of integration of thesauri. Some properties of partial Boolean algebras are exploited in defining theoretical tools for information retrieval associated to this model. Such tools are a logical language representing queries to the system and a browsing mechanism. In the appendix, a simple example of such an integration process is reported.
منابع مشابه
Filter theory in MTL-algebras based on Uni-soft property
The notion of (Boolean) uni-soft filters in MTL-algebras is introduced, and several properties of them are investigated. Characterizations of (Boolean) uni-soft filters are discussed, and some (necessary and sufficient) conditions for a uni-soft filter to be Boolean are provided. The condensational property for a Boolean uni-soft filter is established.
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملNoncommutativity as a Colimit
We give substance to the motto “every partial algebra is the colimit of its total subalgebras” by proving it for partial Boolean algebras (including orthomodular lattices), the new notion of partial C*-algebras (including noncommutative C*-algebras), and variations such as partial complete Boolean algebras and partial AW*-algebras. Both pairs of results are related by taking projections. As cor...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کامل3 M ay 1 99 6 More set - theory around the weak Freese - Nation property
For a regular κ, a partial ordering P is said to have the κ Freese-Nation property (the κ-FN for short) if there is a mapping (κ-FN mapping) f : P → [P ] such that for any p, q ∈ P if p ≤ q then there is r ∈ f(p) ∩ f(q) such that p ≤ r ≤ q. Freese and Nation [5] used the א0-FN in a characterization of projective lattices and asked if this property alone already characterizes the projectiveness....
متن کامل